hysop.symbolic.relational module

class hysop.symbolic.relational.Add(*exprs)

Bases: ArithmeticRelation

default_assumptions = {}

property rel_op

class hysop.symbolic.relational.AddAugmentedAssignment(lhs, rhs)

Bases: AugmentedAssignment

default_assumptions = {}

class hysop.symbolic.relational.ArithmeticRelation(*exprs)

Bases: NAryRelation

default_assumptions = {}

class hysop.symbolic.relational.Assignment(lhs, rhs)

Bases: BinaryRelation

Represents variable assignment for code generation.

Parameters:

• lhs (Expr)

• rhs (Expr)

classmethod assign(lhs, rhs, skip_zero_rhs=False)

default_assumptions = {}

property rel_op

class hysop.symbolic.relational.AugmentedAssignment(lhs, rhs)

Bases: Assignment

Base class for augmented assignments

default_assumptions = {}

property rel_op

class hysop.symbolic.relational.BinaryFunction(lhs, rhs)

Bases: NAryFunction

default_assumptions = {}

class hysop.symbolic.relational.BinaryRelation(lhs, rhs)

Bases: NAryRelation

Represents relations bewteen 2 variables.

Parameters:

• lhs (Expr)

• rhs (Expr)

default_assumptions = {}

class hysop.symbolic.relational.DivAugmentedAssignment(lhs, rhs)

Bases: AugmentedAssignment

default_assumptions = {}

class hysop.symbolic.relational.LogicalAND(*exprs)

Bases: LogicalRelation

default_assumptions = {}

property rel_op

class hysop.symbolic.relational.LogicalEQ(*exprs)

Bases: LogicalRelation

default_assumptions = {}

property rel_op

class hysop.symbolic.relational.LogicalGE(*exprs)

Bases: LogicalRelation

default_assumptions = {}

property rel_op

class hysop.symbolic.relational.LogicalGT(*exprs)

Bases: LogicalRelation

default_assumptions = {}

property rel_op

class hysop.symbolic.relational.LogicalLE(*exprs)

Bases: LogicalRelation

default_assumptions = {}

property rel_op

class hysop.symbolic.relational.LogicalLT(*exprs)

Bases: LogicalRelation

default_assumptions = {}

property rel_op

class hysop.symbolic.relational.LogicalNE(*exprs)

Bases: LogicalRelation

default_assumptions = {}

property rel_op

class hysop.symbolic.relational.LogicalOR(*exprs)

Bases: LogicalRelation

default_assumptions = {}

property rel_op

class hysop.symbolic.relational.LogicalRelation(*exprs)

Bases: NAryRelation

default_assumptions = {}

class hysop.symbolic.relational.LogicalXOR(*exprs)

Bases: LogicalRelation

default_assumptions = {}

property rel_op

class hysop.symbolic.relational.Max(lhs, rhs)

Bases: BinaryFunction

default_assumptions = {}

property fname

class hysop.symbolic.relational.Min(lhs, rhs)

Bases: BinaryFunction

default_assumptions = {}

property fname

class hysop.symbolic.relational.ModAugmentedAssignment(lhs, rhs)

Bases: AugmentedAssignment

default_assumptions = {}

class hysop.symbolic.relational.Mul(*exprs)

Bases: ArithmeticRelation

default_assumptions = {}

property rel_op

class hysop.symbolic.relational.MulAugmentedAssignment(lhs, rhs)

Bases: AugmentedAssignment

default_assumptions = {}

class hysop.symbolic.relational.NAryFunction(*exprs)

Bases: Expr

Represents relations bewteen n variables.

Parameters:

args (tuple of Expr)

default_assumptions = {}

property fname

property free_symbols

Return from the atoms of self those which are free symbols.

Not all free symbols are Symbol. Eg: IndexedBase(‘I’)[0].free_symbols

For most expressions, all symbols are free symbols. For some classes this is not true. e.g. Integrals use Symbols for the dummy variables which are bound variables, so Integral has a method to return all symbols except those. Derivative keeps track of symbols with respect to which it will perform a derivative; those are bound variables, too, so it has its own free_symbols method.

Any other method that uses bound variables should implement a free_symbols method.

property is_number

Returns True if self has no free symbols and no undefined functions (AppliedUndef, to be precise). It will be faster than if not self.free_symbols, however, since is_number will fail as soon as it hits a free symbol or undefined function.

Examples

>>> from sympy import Function, Integral, cos, sin, pi
>>> from sympy.abc import x
>>> f = Function('f')

>>> x.is_number
False
>>> f(1).is_number
False
>>> (2*x).is_number
False
>>> (2 + Integral(2, x)).is_number
False
>>> (2 + Integral(2, (x, 1, 2))).is_number
True

Not all numbers are Numbers in the SymPy sense:

>>> pi.is_number, pi.is_Number
(True, False)

If something is a number it should evaluate to a number with real and imaginary parts that are Numbers; the result may not be comparable, however, since the real and/or imaginary part of the result may not have precision.

>>> cos(1).is_number and cos(1).is_comparable
True

>>> z = cos(1)**2 + sin(1)**2 - 1
>>> z.is_number
True
>>> z.is_comparable
False

See also

sympy.core.basic.Basic.is_comparable

class hysop.symbolic.relational.NAryRelation(*exprs)

Bases: Expr

Represents relations bewteen n variables.

Parameters:

args (tuple of Expr)

default_assumptions = {}

property free_symbols

Return from the atoms of self those which are free symbols.

Not all free symbols are Symbol. Eg: IndexedBase(‘I’)[0].free_symbols

For most expressions, all symbols are free symbols. For some classes this is not true. e.g. Integrals use Symbols for the dummy variables which are bound variables, so Integral has a method to return all symbols except those. Derivative keeps track of symbols with respect to which it will perform a derivative; those are bound variables, too, so it has its own free_symbols method.

Any other method that uses bound variables should implement a free_symbols method.

property is_number

Returns True if self has no free symbols and no undefined functions (AppliedUndef, to be precise). It will be faster than if not self.free_symbols, however, since is_number will fail as soon as it hits a free symbol or undefined function.

Examples

>>> from sympy import Function, Integral, cos, sin, pi
>>> from sympy.abc import x
>>> f = Function('f')

>>> x.is_number
False
>>> f(1).is_number
False
>>> (2*x).is_number
False
>>> (2 + Integral(2, x)).is_number
False
>>> (2 + Integral(2, (x, 1, 2))).is_number
True

Not all numbers are Numbers in the SymPy sense:

>>> pi.is_number, pi.is_Number
(True, False)

If something is a number it should evaluate to a number with real and imaginary parts that are Numbers; the result may not be comparable, however, since the real and/or imaginary part of the result may not have precision.

>>> cos(1).is_number and cos(1).is_comparable
True

>>> z = cos(1)**2 + sin(1)**2 - 1
>>> z.is_number
True
>>> z.is_comparable
False

See also

sympy.core.basic.Basic.is_comparable

property rel_op

class hysop.symbolic.relational.Pow(*exprs)

Bases: ArithmeticRelation

default_assumptions = {}

property rel_op

class hysop.symbolic.relational.Round(a)

Bases: UnaryFunction

default_assumptions = {}

property fname

class hysop.symbolic.relational.SubAugmentedAssignment(lhs, rhs)

Bases: AugmentedAssignment

default_assumptions = {}

class hysop.symbolic.relational.UnaryFunction(a)

Bases: NAryFunction

default_assumptions = {}